Time-Travel Logic